FIncr == {f | i:  if i=0  else {f(i-1)...} fi} 

latex

Definitions	, if b t else f fi, i=j, {i...}
FDL editor aliases	fincr